def_THelper(rvm) {
  def_INSTR_TAB("??????? ????? ????? 000 ????? ????? ??", mul);
  def_INSTR_TAB("??????? ????? ????? 001 ????? ????? ??", mulh);
  def_INSTR_TAB("??????? ????? ????? 010 ????? ????? ??", mulhsu);
  def_INSTR_TAB("??????? ????? ????? 011 ????? ????? ??", mulhu);
  def_INSTR_TAB("??????? ????? ????? 100 ????? ????? ??", div);
  def_INSTR_TAB("??????? ????? ????? 101 ????? ????? ??", divu);
  def_INSTR_TAB("??????? ????? ????? 110 ????? ????? ??", rem);
  def_INSTR_TAB("??????? ????? ????? 111 ????? ????? ??", remu);
  return EXEC_ID_inv;
}

def_THelper(rvm32) {
  def_INSTR_TAB("??????? ????? ????? 000 ????? ????? ??", mulw);
  def_INSTR_TAB("??????? ????? ????? 100 ????? ????? ??", divw);
  def_INSTR_TAB("??????? ????? ????? 101 ????? ????? ??", divuw);
  def_INSTR_TAB("??????? ????? ????? 110 ????? ????? ??", remw);
  def_INSTR_TAB("??????? ????? ????? 111 ????? ????? ??", remuw);
  return EXEC_ID_inv;
}
